This paper introduces three model-theoretic constructions for generalized Epstein semantics: reducts, ultramodels and $\textsf {S}$ -sets. We apply these notions to obtain metatheoretical results. We prove connective inexpressibility by means of a reduct, compactness by an ultramodel and definability theorem which states that a set of generalized Epstein models is definable iff it is closed under ultramodels and $\textsf {S}$ -sets. Furthermore, a corollary concerning definability of a set of models by a single formula is given on the basis of (...) the main theorem and the compactness theorem. We also provide an example of a natural set of generalized Epstein models which is undefinable. Its undefinability is proven by means of an $\textsf {S}$ -set. (shrink)

We present an algebraic proof of the theorem stating that there are continuum many axiomatic extensions of global consequence associated with modal system E that do not admit the local deduction detachment theorem. We also prove that all these logics lack the finite frame property and have exactly three proper axiomatic extensions, each of which admits the local deduction detachment theorem.

This paper introduces the construct of an ultravaluation inspired by the well-known ultraproduct. Basic properties and exemplary applications of this notion are shown: for compactness and definability theorems. We also use ultravaluations to check failure of compactness and undefinability.

The goal of the article is twofold. The first one is to provide logics based on positional semantics which will be suitable for the analysis of epistemic modalities such as ‘agent... knows/beliefs that...’. The second one is to define tableau systemsfor such logics. Firstly, we present the minimal positional logic MR. Then, we change the notion of formulas and semantics in order to consider iterations of the operator of realization and “free” classical formulas. After that, we move on to weaker (...) logics in order to avoid the well known problem of logical omniscience. At the same time, we keep the positional counterparts of modal axioms, and. For all of the considered logics we present sound and complete tableau systems. (shrink)

We use an algebraic argument to prove that there are exactly two premaximal extensions of \’s consequence. We also show that one of these extensions is the minimal structurally complete extension of the unique maximal paraconsistent extension of \. Precisely, we show that there are exactly two covers of the variety of Boolean algebras in the lattice of quasivarieties of Sugihara algebras and that there is a unique minimal paraconsistent quasivariety in that lattice. We also obtain a corollary stating that (...) the set of paraconsistent extensions of \ forms a complete sublattice of the lattice of all \’s extensions. (shrink)